A. Demry: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A parametric analysis of the state-explosion problem in model checking

S. Demri, F. Laroussinie, Ph. Schnoebelen

Journal:

Journal of Computer and System Sciences

Year:

2006

Language:

english

File:

PDF, 283 KB

english, 2006

2

263 Chest strength and mobility training: How do we do it?

A. Demry, M. Levi, T. Yalon, K. Or, E. Kerem, H. Blau

Journal:

Journal of Cystic Fibrosis

Year:

2007

Language:

english

File:

PDF, 58 KB

english, 2007

3

Late complication of a Greenfield filter associating caudal migration and perforation of the abdominal aorta by a ruptured strut

Dabbagh, Ahmad, Chakfé, Nabil, Kretz, Jean-Georges, Demri, Boualem, Nicolini, Philippe, Fuentes, Claudio, Mettauer, Bertrand, Epailly, Eric, Muster, Dominique, Eisenmann, Bernard

Journal:

Journal of Vascular Surgery

Year:

1995

Language:

english

File:

PDF, 5.72 MB

english, 1995

4

Linear-time temporal logics with Presburger constraints: an overview ★

Demri, Stéphane

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 315 KB

english, 2006

5

Separation logics and modalities: a survey

Demri, Stéphane, Deters, Morgan

Journal:

Journal of Applied Non-Classical Logics

Year:

2015

Language:

english

File:

PDF, 741 KB

english, 2015

6

Display Calculi for Nominal Tense Logics

Journal:

Journal of Logic and Computation

Year:

2002

Language:

english

File:

PDF, 228 KB

english, 2002

7

3-SAT = SAT for a class of normal modal logics

Stéphane Demri

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 821 KB

english, 1995

8

Electron spectroscopy study of dysprosium thin films deposited on copper substrates

B. Demri, C. Burggraf, N. Mesboua

Journal:

Applied Surface Science

Year:

1993

Language:

english

File:

PDF, 268 KB

english, 1993

9

Electrochemical reduction of ions incorporated in a clay matrix

F. Tedjar, D. Demri, E. Babes

Journal:

Surface and Coatings Technology

Year:

1987

Language:

english

File:

PDF, 245 KB

english, 1987

10

Logical analysis of demonic nondeterministic programs

Stéphane Demri, Ewa Orłowska

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.62 MB

english, 1996

11

Reasoning about sequences of memory states

Rémi Brochenin, Stéphane Demri, Etienne Lozes

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 1.62 MB

english, 2009

12

C1-oxygenated molecules adsorbed on rhodium containing catalysts. Identification of a formyl species

D. Demri, L. Chateau, J.P. Hindermann, A. Kiennemann, M.M. Bettahar

Journal:

Journal of Molecular Catalysis A: Chemical

Year:

1996

Language:

english

File:

PDF, 961 KB

english, 1996

13

Preface

Carlos Areces, Stéphane Demri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 103 KB

english, 2009

14

Complexity of modal logics with Presburger constraints

Stéphane Demri, Denis Lugiez

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 403 KB

english, 2010

15

LTL over integer periodicity constraints

Stéphane Demri

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 517 KB

english, 2006

16

Verification of qualitative constraints

Stéphane Demri, Régis Gascon

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.11 MB

english, 2008

17

Model checking memoryful linear-time logics over one-counter automata

Stéphane Demri, Ranko Lazić, Arnaud Sangnier

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 679 KB

english, 2010

18

Surface characterization of C/Ti-6Al-4V coating treated with ion beam

B. Demri, M. Hage-Ali, M. Moritz, D. Muster

Journal:

Year:

1997

Language:

english

File:

PDF, 657 KB

english, 1997

19

Casted titanium for dental applications: an XPS and SEM study

A.M. Ferenczi, B. Demri, M. Moritz, D. Muster

Journal:

Year:

1998

Language:

english

File:

PDF, 273 KB

english, 1998

20

X-ray photoemission study of the calcium/titanium dioxide interface

B. Demri, M. Hage-Ali, M. Moritz, J.L. Kahn, D. Muster

Journal:

Applied Surface Science

Year:

1997

Language:

english

File:

PDF, 426 KB

english, 1997

21

A polynomial space construction of tree-like models for logics with local chains of modal connectives

Stéphane Demri

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 360 KB

english, 2003

22

A class of decidable information logics

Stéphane Demri

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 2.07 MB

english, 1998

23

Toward elevated agrobotics: Development of a scaled-down prototype for visually guided date palm tree sprayer

Amir Shapiro, Eran Korkidi, Amnon Demri, Ohad Ben-Shahar, Raziel Riemer, Yael Edan

Journal:

Journal of Field Robotics

Year:

2009

Language:

english

File:

PDF, 784 KB

english, 2009

24

A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics

Ricardo Caferra, Stéphane Demri, Michel Herment

Journal:

Year:

1993

Language:

english

File:

PDF, 1.93 MB

english, 1993

25

Towards reasoning about Hoare relations

Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 1.58 MB

english, 1994

26

Deciding Regular Grammar Logics with Converse Through First-Order Logic

Stéphane Demri, Hans De Nivelle

Journal:

Journal of Logic, Language and Information

Year:

2005

Language:

english

File:

PDF, 726 KB

english, 2005

27

XPS study of some calcium compounds

B. Demri, D. Muster

Journal:

Journal of Materials Processing Technology

Year:

1995

Language:

english

File:

PDF, 301 KB

english, 1995

28

DNA Identification of “Earthquake McGoon” 50 Years Postmortem

Jodi A. Irwin, Suni M. Edson, Odile Loreille, Rebecca S. Just, Suzanne M. Barritt, Demris A. Lee, Thomas D. Holland, Thomas J. Parsons, Mark D. Leney

Journal:

Journal of Forensic Sciences

Year:

2007

Language:

english

File:

PDF, 571 KB

english, 2007

29

A Completeness Proof for a Logic with an Alternative Necessity Operator

Stéphane Demri

Journal:

Year:

1997

Language:

english

File:

PDF, 306 KB

english, 1997

30

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I

Stéphane Demri, Dov Gabbay

Journal:

Year:

2000

Language:

english

File:

PDF, 438 KB

english, 2000

31

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II

Stéphane Demri, Dov Gabbay

Journal:

Year:

2000

Language:

english

File:

PDF, 394 KB

english, 2000

32

A Logic with Relative Knowledge Operators

Stéphane Demri

Journal:

Journal of Logic, Language and Information

Year:

1999

Language:

english

File:

PDF, 144 KB

english, 1999

33

Display Calculi for Logics with Relative Accessibility Relations

Stéphane Demri, Rajeev Goré

Journal:

Journal of Logic, Language and Information

Year:

2000

Language:

english

File:

PDF, 151 KB

english, 2000

34

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Stéphane Demri, Philippe Schnoebelen

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 223 KB

english, 2002

35

FT-IR and TPD studies on support-metal and promoter-metal interaction. Pt and Pd catalysts

S. Boujana, D. Demri, J. Cressely, A. Kiennemann, J. P. Hindermann

Journal:

Catalysis Letters

Year:

1990-1991

Language:

english

File:

PDF, 371 KB

english, 1990-1991

36

CO hydrogenation on rhodium catalysts as studied by temperature programmed desorption and reaction

D. Demri, J. P. Hindermann, A. Kiennemann, C. Mazzocchia

Journal:

Catalysis Letters

Year:

1994

Language:

english

File:

PDF, 531 KB

english, 1994

37

RBS and XPS study of gadolinium and dysprosium thin films deposited on copper substrate

B. Demri, C. Burggraf, N. Mesboua

Journal:

Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms

Year:

1993

Language:

english

File:

PDF, 290 KB

english, 1993

38

On the freeze quantifier in Constraint LTL: Decidability and complexity

Stéphane Demri, Ranko Lazić, David Nowak

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 477 KB

english, 2007

39

An automata-theoretic approach to constraint LTL

Stéphane Demri, Deepak D’Souza

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 480 KB

english, 2007

40

On the almighty wand

Rémi Brochenin, Stéphane Demri, Etienne Lozes

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 486 KB

english, 2012

41

Expression of DLX5 during human embryonic craniofacial development

J.L. Davideau, P. Demri, T.T. Gu, D. Simmons, C. Nessman, N. Forest, M. MacDougall, A. Berdal

Journal:

Mechanisms of Development

Year:

1999

Language:

english

File:

PDF, 1.52 MB

english, 1999

42

The covering and boundedness problems for branching vector addition systems

Stéphane Demri, Marcin Jurdziński, Oded Lachish, Ranko Lazić

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 285 KB

english, 2013

43

[IEEE 2008 Annual Reliability and Maintainability Symposium - Las Vegas, NV, USA (2008.01.28-2008.01.31)] 2008 Annual Reliability and Maintainability Symposium - Functional and dysfunctional analysis of a mechatronic system

Demri, Amel, Charki, Abderafi, Guerin, Fabrice, Christofol, Herve

Year:

2008

Language:

english

File:

PDF, 529 KB

english, 2008

44

Evaluation of aluminum coatings in simulated marine environment

Ahnia, Fatma, Demri, Boualem

Journal:

Surface and Coatings Technology

Year:

2013

Language:

english

File:

PDF, 768 KB

english, 2013

45

Special Issue on Guarded and Decidable Fragments || Deciding Regular Grammar Logics with Converse through First-Order Logic

Stéphane Demri and Hans De Nivelle

Journal:

Journal of Logic, Language and Information

Year:

2005

Language:

english

File:

PDF, 4.52 MB

english, 2005

46

The Complexity of Regularity in Grammar Logics and Related Modal Logics

Journal:

Journal of Logic and Computation

Year:

2001

Language:

english

File:

PDF, 335 KB

english, 2001

47

On selective unboundedness of VASS

Demri, Stéphane

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 457 KB

english, 2013

48

[Lecture Notes in Computer Science] Automated Reasoning Volume 8562 || QBF Encoding of Temporal Properties and QBF-Based Verification

Demri, Stéphane, Kapur, Deepak, Weidenbach, Christoph

Year:

2014

Language:

english

File:

PDF, 251 KB

english, 2014

49

REASONING ABOUT TRANSFINITE SEQUENCES

DEMRI, STÉPHANE, NOWAK, DAVID

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 1.38 MB

english, 2007

50

[IEEE 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - Seattle, WA, USA (12-15 Aug. 2006)] 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) - LTL with the Freeze Quantifier and Register Automata

Demri, S., Lazic, R.

Year:

2006

Language:

english

File:

PDF, 249 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски